more on this theme     |     more from this thinker     |     more from this text


Single Idea 7789

[filed under theme 5. Theory of Logic / B. Logical Consequence / 7. Strict Implication ]

Full Idea

Necessary implication is often called 'strict implication'. The sort of strict implication found in valid arguments, where the conjunction of the premises necessarily implies the conclusion, is often called 'entailment'.

Gist of Idea

Necessary implication is called 'strict implication'; if successful, it is called 'entailment'

Source

Rod Girle (Modal Logics and Philosophy [2000], 1.2)

Book Ref

Girle,Rod: 'Modal Logics and Philosophy' [Acumen 2000], p.7


A Reaction

These are basic concept for all logic.